Littlewood, B. & Rushby, JReasoning about the Reliability of Diverse Two-Channel Systems in which One Channel is "Possibly Perfect". IEEE Transactions on Software Engineering, doi: TSECity Rese

Source URL: openaccess.city.ac.uk

• Engineering
• Safety
• Risk
• Reliability engineering
• Design for X
• Survival analysis
• Safety integrity level
• Redundancy
• Availability
• Probability

2011 IEEE International Conference on Robotics and Automation Shanghai International Conference Center May 9-13, 2011, Shanghai, China Design of Centimeter-scale Inchworm Robots with Bidirectional Claws Dongwoo Lee, Sinb

Source URL: www.cs.cmu.edu

IEEE RFID 2012 Student Competition: Rectenna Shootout! Student teams of any size may submit a design for a custom 915 MHz LED rectenna (antenna + RF charge pump + LED) for the IEEE RFID 2012 conference. Cash prize for th

Source URL: 2012.ieee-rfid.org

June 2016 – Chicago, IL Save the Date! Call for Abstracts will open Oct. 5, 2015. The Synthetic Biology: Engineering, Evolution and Design (SEED) Conference series is the foremost event for synthetic biologists in aca

Source URL: lifesciences.ieee.org

2014 IEEE 19th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD 2014)

Source URL: toc.proceedings.com

SUBMITTED TO THE IEEE-ASME TRANSACTIONS ON MECHATRONICS, JANUARY 14, On the Design of Miniature Haptic Devices for Upper Extremity Prosthetics

Source URL: peshkin.mech.northwestern.edu

Quick Start Guide Revision: 8 June 2014 www.tachyon-da.com Copyright © Tachyon Design Automation All rights reserved.

Source URL: www.tachyon-da.com

• Electronic engineering
• Digital electronics
• Electronic design automation
• Hardware description languages
• Hardware verification languages
• Logic design
• Debuggers
• Verilog
• IEEE standards
• Value change dump
• X86-64
• GNU Debugger

44 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 19, NO. 1, JANUARY 2000 Sibling-Substitution-Based BDD Minimization Using Don’t Cares

Source URL: www.kenmcmil.com

76 IEEE TRANSACTIONS ON EDUCATION, VOL. 51, NO. 1, FEBRUARY 2008 Enhancement of Student Learning in Experimental Design Using a Virtual Laboratory

Source URL: www.connellybarnes.com

• Education
• Educational psychology
• Instructional scaffolding
• Instructional design
• Situated cognition
• Educational technology
• Idaho National Laboratory
• Formative assessment
• Project-based learning

2014 Conference on Design of Circuits and Integrated Circuits (DCIS’14) Final Paper and IEEE Copyright Form Before creating the final PDF The appropriate copyright clearance code notice is to appear on the bottom of th

Source URL: www.cei.upm.es